COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Term papers for CS206
C00005 ENDMK
C⊗;
Term papers for CS206


	As usual it is past time for students to start on their
term papers, but I have not had time to talk about all the topics on
which term papers may be written.

The term paper should include a substantial symbolic calculation
and a literate writeup explaining what problem it solves and what
the functions do and how they fit together.

Here are some topics:

1. Improving LCOM4

	a. Make it compile program feature.

	b. Make it compile iterative calls with jumps.

	c. Compile declared arithmetic to fast code.

	d. Remove common subexpressions treating cond and booleans
correctly or at least reasonably, also imbedded lambdas.

	e. Improvements that you think of yourself.

	f. Treat free variables reasonably.

One of the above should suffice for the project, but if you get
interested, you can do more.

2. Improve TRANSFORM to where it can do simplification reasonably
or can do LCOM0.

3. Write imval, ter and successors so as to play 3-d tictactoe.  Be
careful about the computer time you use.

4. A substantial MACSYMA calculation.

5. Other projects are possible by agreement.

Projects are due on the day scheduled for the final, but some
extensions may be arranged if a very good program is almost done.
Proposals to continue a project using CS299 will be considered, but
there should be a writeup for giving a grade this quarter.